Section: Partnerships and Cooperations
International Initiatives
Inria Associate Teams
CRISTAL
Title: Resource Control by Semantic Interpretations and Linear Proof Theory
International Partner (Institution - Laboratory - Researcher):
See also: http://carte.loria.fr/index.php?option=com_content&view=article&id=61&Itemid=75
Topic: resource control using semantics interpretations and linear proof theory.
Participation In International Programs
Mathieu Hoyrup is the principal investigator of a Partenariat Hubert Curien Imhotep 2011-2012 together with Walid Gooma, University of Alexandria, Egypt.